Jackson structured programming
ジャクソンの構造化プログラミング
Jackson system development
Warnier/Orr diagram
https://en.wikipedia.org/wiki/Jackson_structured_programming